そくばくへんこう

そくばくへんこう【束縛変項】

〔bound variable〕

述語論理の論理式の中で量記号の作用を受けている変項。